Delays, Recurrence and Ordinals
نویسنده
چکیده
We apply set-theoretical ideas to an iteration problem of dynamical systems. Among other results, we prove that these iterations never stabilise later than the first uncountable ordinal; for every countable ordinal we give examples in Baire space and in Cantor space of an iteration that stabilises exactly at that ordinal; we give an example of an iteration with recursive data which stabilises exactly at the first non-recursive ordinal; and we find new examples of complete analytic sets simply definable from concepts of recurrence.
منابع مشابه
Automatic Ordinals
We prove that the injectively ω-tree-automatic ordinals are the ordinals smaller than ω ω . Then we show that the injectively ωautomatic ordinals, where n ≥ 1 is an integer, are the ordinals smaller than ω n . This strengthens a recent result of Schlicht and Stephan who considered in [SS11] the subclasses of finite word ω-automatic ordinals. As a by-product we obtain that the hierarchy of injec...
متن کاملA Classification of Ordinals up to Borel Isomorphism
We consider the Borel structures on ordinals generated by their order topologies and provide a complete classification of all ordinals up to Borel isomorphism in ZFC. We also consider the same classification problem in the context of AD and give a partial answer for ordinals ≤ ω2.
متن کاملMonadic Definability of Ordinals
We identify precisely which singular ordinals are definable by monadic second order formulae over the ordinals, assuming knowledge of the definable regular cardi-
متن کاملCovering of ordinals
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given structure, whereas such a formula cannot exist for ordinals themselves. The structures are precisely classified in the pushdown hierarchy. Ordinals are also located in the hierarchy, and a direct presentation is given. ...
متن کاملRegister computations on ordinals
We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounded truth predicate on the ordinals. The class of sets of ordinals which can be read off the truth predicate satisfies a natural theory SO. SO is the theory of the sets of ordinals in a model of the Zermelo-Fraenkel axi...
متن کامل